Abstract State Machines, B and Z [Risorsa elettronica] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540876038 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009257220403321 |
Berlin ; Heidelberg : Springer, 2008 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Methods and Testing [Risorsa elettronica] : An Outcome of the FORTEST Network, Revised Selected Papers / edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540789178 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009255610403321 |
Berlin ; Heidelberg : Springer, 2008 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
The Z formal specification notation : 11th international conference of Zusers Berlin, Germany, September 24-26, 1998 prooceedings / Jonathan P. Bowen ... [et al.] (eds.) (ZUM'98) |
Autore | International conference of Z users : 11. : 1998 |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1998 |
Descrizione fisica | XV, 415 p. : ill. ; 20 cm |
Disciplina | 005133 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressiberlino1998
linguaggio zcongressi1998 |
ISBN | 3-540-65070-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000209050203316 |
International conference of Z users : 11. : 1998 | ||
Berlin [etc.] : Springer-Verlag, copyr. 1998 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
The Z formal specification notation : 10th International conference of Zusers : Rreading, UK, April 3-4, 1997 : proceedings / Jonathan P. Bowen ... [et al.] (eds.) (ZUM '97) |
Autore | International conference of Z users : 10. : 1997 |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1997 |
Descrizione fisica | X, 433 p. : ill. ; 23 cm |
Disciplina | 0051 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressireading1997
elaboratori elettroniciprogrammazionecongressi1997 softwareprogettazionecongressi1997 |
ISBN | 3-540-62717-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000205030203316 |
International conference of Z users : 10. : 1997 | ||
Berlin [etc.] : Springer-Verlag, copyr. 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
the Z formal specification notation : 9th International conference of Z users : Limerick, Ireland, Septmber7-9, 1995 : proceedings / Jonathan P. Bowen ... [etc.] (eds.) (ZUM'95) |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr (, 1995) |
Descrizione fisica | XI, 569 p. : ill. ; 24 cm. |
Disciplina | 0051 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressilimerick1995
elaboratori elettroniciprogrammazionecongressi1995 softwareprogettazionecongressi1995 |
ISBN | 3-540-60271-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000211040203316 |
Berlin [etc.] : Springer-Verlag, copyr (, 1995) | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|